Пожертвування 15 вересня 2024 – 1 жовтня 2024 Про збір коштів
8

Computer Assisted Proofs of Bifurcating Solutions for

Рік:
2010
Мова:
english
Файл:
PDF, 552 KB
english, 2010
9

Numerical verifications of solutions for nonlinear elliptic equations

Рік:
1993
Мова:
english
Файл:
PDF, 1.09 MB
english, 1993
19

Efficient Proton Conductivity of Gas-Tight Nanomembranes of Silica-Based Double Oxides

Рік:
2008
Мова:
english
Файл:
PDF, 594 KB
english, 2008
28

A fast algorithm for cactus representations of minimum cuts

Рік:
2000
Мова:
english
Файл:
PDF, 1.19 MB
english, 2000
34

Convex Embeddings and Bisections of 3-Connected Graphs1

Рік:
2002
Мова:
english
Файл:
PDF, 284 KB
english, 2002
44

An Efficient Approach to the Numerical Verification for Solutions of Elliptic Differential Equations

Рік:
2004
Мова:
english
Файл:
PDF, 122 KB
english, 2004